2161. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics

رده :
QA
1
.
L4
v
.
94

2162. Semantics-directed compiler generation: proceedings of workshop Aarhus, Denmark, January, 1980

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Compiling )Electronic computers(,، Programming languages )Electronic computers(-- Semantics

رده :
QA
76
.
6
.
W698
1980

2163. Semantics for concurrency : proceedings of the International BCS-FACS Workshop

المؤلف:

المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع: Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses

رده :
QA
.
I56
76
.
642
1990

2164. Semantics : foundations and applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992 : Proceedings

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
666

2165. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses

رده :
QA
76
.
7
.
R49
1992

2166. Semantics of concurrent computation :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.

رده :
QA76
.
6
E358
1979

2167. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Parallel processing )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Semantics-- Congresses

رده :
QA
76
.
6
.
I577
1979

2168. Semantics of data types :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.

2169. Semantics of programming languages

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Semantics ، Programming languages )Electronic computers(

رده :
QA
76
.
7
.
T473
1991

2170. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers(-- Semantics

رده :
QA
76
.
58
.
E26
1990

2171. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings

المؤلف:

المکتبة: (طهران)

موضوع: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
469

2172. Semantics of type theory : correctness, Completeness and independence results

المؤلف:

المکتبة: (طهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory

رده :
QA
76
.
7
.
S85

2173. Semantics of type theory : correctness, completeness, and independence results

المؤلف:

المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع: Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory

رده :
QA
.
S82
76
.
7
1991

2174. Semantics with applications

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Programming languages (Electronic computers)--Semantics

رده :
QA
,
76
.
7
,.
N543
,
2007

2175. Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: Congresses ، Parallel processing )Electronic computers(

رده :
QA
76
.
L4
v
.
197

2176. Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Parallel processing )Electronic computers(

رده :
QA
76
.
L28
Vol
.
197

2177. Sensor systems and software :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Context-aware computing, Congresses.,Detectors, Congresses.,Wireless sensor networks, Congresses.

رده :
TK7872
.
D48
I58
2011

2178. 24, 2014, Shanghai, China-Computers and Information Processing Technologies I : Selected, Peer Reviewed Papers from the International Conference on Computers and Information Processing Technologies (ICCIPT 2014), April 23

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY

رده :
E-BOOK

2179. Sicherheitskonzepte für das Internet :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Data structures (Computer science),Software engineering.

رده :
QA76
.
9
.
D35
H473
2001

2180. Signal and Information Processing, Networking and Computers

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science -- Congresses. ,Information theory -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نظریه اطلاعات -- کنگره‌ها

رده :
QA
75
.
5
.
S53
2016
E-Book
,